Journal of Information and Computing Science, JIC, Vol1 2006 No1, ISSN 1746-7659

Abstract. Time Petri Nets (TPNs) are a popular Petri net model for specification and verification of real-time systems. A widely applied method for analyzing Petri nets is component-level reduction analysis. The existing technique for component-level reduction analysis transforms a TPN component to a constant size of simple one while maintains the net external observable timing properties, but it neglects the internal properties of component such as synchronization, conflict and concurrency. Based on Delay Time Petri Net (DTPN), the paper transforms a TPN component to DTPN model in order to preserve such properties as synchronization, conflict and concurrency during the reduction. For the sake of analyzing the DTPN model, the paper proposes new schedule analysis method. Finally, reduction rules based on DTPN are applied to the TPN model analysis in the command and control (C2) system.